Properties in WF16